Applications of iterated perfect set forcing
نویسندگان
چکیده
منابع مشابه
5 A pr 2 00 0 ITERATED PERFECT - SET FORCING AND A TRANSITIVE SET IN THE GROUND MODEL
In this paper we show that, when we iteratively add Sacks reals to a model of ZF C we have for every two reals in the extension a continuous function defined in the ground model that maps one of the reals onto the other.
متن کاملFuzzy Forcing Set on Fuzzy Graphs
The investigation of impact of fuzzy sets on zero forcing set is the main aim of this paper. According to this, results lead us to a new concept which we introduce it as Fuzzy Zero Forcing Set (FZFS). We propose this concept and suggest a polynomial time algorithm to construct FZFS. Further more we compute the propagation time of FZFS on fuzzy graphs. This concept can be more efficient to model...
متن کاملIterated Class Forcing
In this paper we develop the notion of \stratiied" class forcing and show that this property both implies coonality-preservation and is preserved by iterations with the appropriate support. Many Easton-style and Jensen-style forcings are stratiied, as are some more exotic forcings obtained by mixing these types together (see Easton 70], section 36 of Jech 78], Beller-Jensen-Welch 82], Friedman ...
متن کاملSet Theory 292B: Model-theoretic Forcing and Its Applications
In 1962 Paul Cohen invented set-theoretic forcing to solve the independence problem of continuum hypothesis. It turns out that forcing is quite powerful tool and it has applications in many branches of mathematics. In 1970s Abraham Robinson extended Cohen’s forcing to model theory and developed finite forcing and infinite forcing. In this term paper we study Robinson’s finite forcing and relate...
متن کاملCovering Property Axiom CPA A combinatorial core of the iterated perfect set model
where most of the results presented here were obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1988
ISSN: 0168-0072
DOI: 10.1016/0168-0072(88)90044-9